calculus of propositions

[数] 命题演算